A Natural Language Front - End toAutomatic Veri
نویسندگان
چکیده
Often problem solving can be reduced to the search for nite models of rst-order logic speciications. We describe the model generation method EP Tableaux that is complete for refutation and for nite satissability. To make EP Tableaux available to domain specialists unfamiliar with formal notations we added a natural language front-end that accepts Attempto Controlled English | a subset of standard English with a domain-speciic vocabulary and a restricted grammar. ACE allows users to express speciications precisely and in the terms of the application domain. ACE speciications are unambiguously translated into logic languages. We speciied in ACE a database example that was previously speciied in the EP Tableaux language PRQ, translated the ACE speciication into PRQ, and reproduced the previously found results. As a further test, we formulated Schubert's Steamroller in ACE, translated the ACE version into PRQ and successfully proved the Steamroller's conclusions with EP Tableaux.
منابع مشابه
Towards computational veri cation of Self-organising Logic of Structures
Self-organising Logic of Structures (SLS), a semantic representation language of high expressive power, seems attractive from a theoretical point of view. To check its usefulness for natural language understanding systems, an implementation is required. This article presents our e orts aimed at computational veri cation of SLS. We discuss some computational problems and propose a solution based...
متن کاملInference in a Natural Language Front End for Databases
This report describes the implementation and initial testing of knowledge representation and inference capabilities within a modular database front end designed for transportability.
متن کاملTowards More Efficient Requirements Formalization: A Study
[Context and motivation] Validating natural language requirements is an important but difficult task. Although there are techniques available for validating formalized requirements, the gap between natural language requirements and formalism is huge. [Question/problem] As part of a larger piece of work on temporal requirements consistency checking, we developed a front end to semi-automatically...
متن کاملResolving Anaphora in a Portable Natural Language Front End to Databases
An analysis of the evolution of Natural Language front ends in the last three decades shows that the growth in portability brought, as a side eeect, the narrowing of the provided coverage of contextually based linguistic phenomena , such as anaphora and ellipsis. This paper presents the design and state of development of a computational mechanism which provides pronominal Anaphora Resolution wi...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999